✅ Property Testing - hello · Scour

Context-Aware Functional Test Generation via Business Logic Extraction and Adaptation

arxiv.org·22h

🧬Mutation Testing

PHPUnit: Test Closures with Mockery::spy

dev.to·1h·

Discuss: DEV

Testing AI Agents: Deterministic Evaluation in a Non-Deterministic World

sitepoint.com·7h

🎲Deterministic Simulation

Understanding SMF properties

davepacheco.net·4h

🛡️Memory Safety

Test which reminded me why I don't really like RSpec

blog.arkency.com·23h

Your AI Should Be Writing Tests. The Unfair Advantage Every Vibe Coder Ignores.

github.com·6h·

Discuss: r/opensource

Show HN: Sabela – A Reactive Notebook for Haskell

datahaskell.org·22h·

Discuss: Lobsters, Hacker News

🐥 Optimizing nested array operations in PHP: from O(3n) to O(n)

yellowduck.be·1d

Invariant-Driven Automated Testing

arxiv.org·22h

🧬Mutation Testing

Extending Formal Verification to Sequential Circuits (U. of Bremen)

semiengineering.com·10h

✓Formal Verification

SOLID in FP: Liskov Substitution, or The Principle That Was Never About Inheritance

cekrem.github.io·1d·

Discuss: Hacker News, r/programming

💎Refinement Types

Wrote a mutating quine (self reproducing code)

github.com·20h·

Discuss: r/C_Programming

🔓Binary Exploitation

State of Knuckledragger III: Kernel Changes, Symbolic Union, AI, and more

philipzucker.com·1d

Tsonnet #31 - Taking back control of equality

dev.to·6h·

Discuss: DEV

Structured Outputs for LLMs

ternarysearch.blogspot.com·19h·

Discuss: Hacker News, ternarysearch.blogspot.com

Your AGENTS.md is a Liability

paddo.dev·4h

💬Prompt Engineering

Parse, Don't Guess

event-driven.io·10h·

Discuss: r/programming

📄FlatBuffers

A Number with a Shadow

campedersen.com·21h

Maximally minimal specialization: always applicable impls

smallcultfollowing.com·14h

🔗Dependent Types

TurboSparse Efficiency: Achieving 97% Parameter Sparsity in Mixtral-47B

hackernoon.com·12m

Loading more...